Formal verification of adaptive real-time systems by extending task automata
- Författare
- Mälardalens högskola Leo Hatvani
- (Leo Hatvani., Licentiatavhandling Västerås : Mälardalens högskola, 2014, S. 29-33: Bibliografi)
- Genre
- theses, Avhandlingar
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| School of Innovation, Design and Engineering, Mälardalen University | 2014 | Sverige, Västerås | xi, 124 sidor. ill. | 978-91-7485-172-4 |